<html>
<head><meta charset="utf-8"><title>weekly meeting May 8 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html">weekly meeting May 8</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="126279512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279512">(May 08 2018 at 19:33)</a>:</h4>
<p>how's that</p>



<a name="126279518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279518">(May 08 2018 at 19:33)</a>:</h4>
<p>Well, the other topic could have been renamed, but <span class="emoji emoji-1f44d" title="+1">:+1:</span></p>



<a name="126279521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279521">(May 08 2018 at 19:33)</a>:</h4>
<p>Could it?</p>



<a name="126279570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279570">(May 08 2018 at 19:34)</a>:</h4>
<p>(I don't see an obvious way to rename an existing topic. <span class="user-mention" data-user-id="116107">@davidtwco</span> maybe you can show me more about that after the meeting)</p>



<a name="126279578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279578">(May 08 2018 at 19:34)</a>:</h4>
<p>(There's a little edit pencil next to the name in a set of messages from it.)</p>



<a name="126279579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279579">(May 08 2018 at 19:34)</a>:</h4>
<p>Anyway, as noted above, <span class="user-mention" data-user-id="116106">@Reed Koser</span> cannot make tonight's meeting. But it looks like <span class="user-mention" data-user-id="116009">@nikomatsakis</span> did manage to get here, yay!</p>



<a name="126279603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279603">(May 08 2018 at 19:35)</a>:</h4>
<p>If you all have something to report and have not yet put into the Paper, please do so now</p>



<a name="126279606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279606">(May 08 2018 at 19:35)</a>:</h4>
<p>link: <a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be">https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be</a></p>



<a name="126279651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279651">(May 08 2018 at 19:36)</a>:</h4>
<p>Depending on your point-of-view, the most interesting/important bit of business is the thing that <span class="user-mention" data-user-id="116009">@nikomatsakis</span> put into their status update in the Paper</p>



<a name="126279661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279661">(May 08 2018 at 19:37)</a>:</h4>
<p>sorry for being slow :) it's been hard to get reliable internet access here</p>



<a name="126279664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279664">(May 08 2018 at 19:37)</a>:</h4>
<p>namely, he and I were chatting last week, and the question came up: What is our plan if we cannot resolve the performance issues we are currently having with <code>#[feature(nll)]</code></p>



<a name="126279702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279702">(May 08 2018 at 19:38)</a>:</h4>
<p>So this was <span class="user-mention" data-user-id="116009">@nikomatsakis</span> 's idea (that he is very sad about, but I am not nearly so sad about):</p>



<a name="126279713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279713">(May 08 2018 at 19:38)</a>:</h4>
<p>Namely, in <code>rustc</code>, for the short-term, change to a Single-Entry-Multiple-Exit model for regions</p>



<a name="126279715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279715">(May 08 2018 at 19:38)</a>:</h4>
<p>(SEME)</p>



<a name="126279726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279726">(May 08 2018 at 19:39)</a>:</h4>
<p>Such a model is not nearly as expressive</p>



<a name="126279730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279730">(May 08 2018 at 19:39)</a>:</h4>
<p>as the Alias-based model that we have been trying to deploy</p>



<a name="126279736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279736">(May 08 2018 at 19:39)</a>:</h4>
<p>but, we are pretty certain that it will be much easier to make such a model <em>fast</em> (or at least competitive with AST-borrowck) in the short term.</p>



<a name="126279793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279793">(May 08 2018 at 19:40)</a>:</h4>
<p>And that in turn means that we can use an SEME model to deploy MIR-borrowck with some of the enhancements that NLL has promised</p>



<a name="126279806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279806">(May 08 2018 at 19:41)</a>:</h4>
<p>(and the corresponding soundness fixes due to using MIR-borrowck instead of AST-borrowck)</p>



<a name="126279824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279824">(May 08 2018 at 19:41)</a>:</h4>
<p>and so we can deploy that in the short term and deal with the corresponding fallout from the aforementioned soundness fixes (i.e. the crates in the wild that have been utilizing those soundness holes, probably unwittingly...)</p>



<a name="126279872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279872">(May 08 2018 at 19:42)</a>:</h4>
<p>The main thing that <span class="user-mention" data-user-id="116009">@nikomatsakis</span> and I want to stress about this idea is that it is a <em>short term</em> plan</p>



<a name="126279877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279877">(May 08 2018 at 19:42)</a>:</h4>
<p>because we really do want to see the alias-based model land in the future</p>



<a name="126279880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279880">(May 08 2018 at 19:42)</a>:</h4>
<p>but by making this separate SEME based system</p>



<a name="126279893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279893">(May 08 2018 at 19:43)</a>:</h4>
<p>that should give everyone plenty of breathing room to focus their attention carefully on the performance issues directly in the separate <a href="https://github.com/nikomatsakis/borrow-check" target="_blank" title="https://github.com/nikomatsakis/borrow-check">borrow_check</a> repository that <span class="user-mention" data-user-id="116009">@nikomatsakis</span> has made</p>



<a name="126279898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279898">(May 08 2018 at 19:43)</a>:</h4>
<p>I know this is a pretty big wall of text</p>



<a name="126279947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279947">(May 08 2018 at 19:44)</a>:</h4>
<p>So... are there any thoughts/reactions to this idea? Questions about what I wrote above or what <span class="user-mention" data-user-id="116009">@nikomatsakis</span> wrote in the paper doc?</p>



<a name="126279961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279961">(May 08 2018 at 19:44)</a>:</h4>
<p>Sorry, not able to type right now, will update later</p>



<a name="126279999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126279999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126279999">(May 08 2018 at 19:45)</a>:</h4>
<p>(Oh, haha, I guess I forgot to re-ask the question of whether we should reschedule the meeting to a later day this week...)</p>



<a name="126280001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280001">(May 08 2018 at 19:45)</a>:</h4>
<p>Sorry!</p>



<a name="126280060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280060">(May 08 2018 at 19:46)</a>:</h4>
<p>I'm afk-ish but I wanted to add one note:</p>



<a name="126280069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280069">(May 08 2018 at 19:46)</a>:</h4>
<p>I think that it's still interesting to think about how best to coordinate efforts on the borrow-check repo</p>



<a name="126280082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280082">(May 08 2018 at 19:47)</a>:</h4>
<p>I've not had as much time as I'd like to try and enumerate out those tasks</p>



<a name="126280087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280087">(May 08 2018 at 19:47)</a>:</h4>
<p>though I did open some issues etc</p>



<a name="126280157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280157">(May 08 2018 at 19:48)</a>:</h4>
<p>okay ... well... I'm going to interpret the silence as people not being available to really interact right now</p>



<a name="126280170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280170">(May 08 2018 at 19:49)</a>:</h4>
<p>so I'll spend the time I have remaining to this just making some notes as I skim over the Paper and the github issues</p>



<a name="126280252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280252">(May 08 2018 at 19:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116106">@Reed Koser</span> 's visualization of the region relationship graph is pretty interesting. I agree that it does make it seem like a sparse matrix rep could have promise</p>



<a name="126280410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280410">(May 08 2018 at 19:54)</a>:</h4>
<p>Also, I think I saw a bug similar to <a href="https://github.com/rust-lang/rust/issues/50461" target="_blank" title="https://github.com/rust-lang/rust/issues/50461">https://github.com/rust-lang/rust/issues/50461</a> but I forgot to file an issue about it.</p>



<a name="126280472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280472">(May 08 2018 at 19:56)</a>:</h4>
<p>(I probably should have CC'ed <span class="user-mention" data-user-id="116108">@Keith Yeung</span> on that issue...)</p>



<a name="126280562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280562">(May 08 2018 at 19:58)</a>:</h4>
<p>hmm it seems like we've somehow missed this issue during prior triage: <a href="https://github.com/rust-lang/rust/issues/48001" target="_blank" title="https://github.com/rust-lang/rust/issues/48001">https://github.com/rust-lang/rust/issues/48001</a></p>



<a name="126280637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280637">(May 08 2018 at 20:00)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116106">@Reed Koser</span> 's visualization of the region relationship graph is pretty interesting. I agree that it does make it seem like a sparse matrix rep could have promise</p>
</blockquote>
<p>I haven't seen that, can someone send a link?</p>



<a name="126280642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280642">(May 08 2018 at 20:00)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> its in the paper ?</p>



<a name="126280649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280649">(May 08 2018 at 20:00)</a>:</h4>
<p>oh ok</p>



<a name="126280735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280735">(May 08 2018 at 20:02)</a>:</h4>
<p>Yea that's neat</p>



<a name="126280836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280836">(May 08 2018 at 20:04)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/48001" target="_blank" title="https://github.com/rust-lang/rust/issues/48001">https://github.com/rust-lang/rust/issues/48001</a> looks to me like an NLL-complete issue. (What it outlines seems in scope for the project to me.)</p>



<a name="126280839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280839">(May 08 2018 at 20:04)</a>:</h4>
<p>(tagged it as such)</p>



<a name="126280912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280912">(May 08 2018 at 20:06)</a>:</h4>
<p>versus a bug like <a href="https://github.com/rust-lang/rust/issues/47224" target="_blank" title="https://github.com/rust-lang/rust/issues/47224">https://github.com/rust-lang/rust/issues/47224</a>  , which looks to me like it is <em>out of scope</em> for the NLL work. (RIght, <span class="user-mention" data-user-id="116009">@nikomatsakis</span> ?)</p>



<a name="126280948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126280948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126280948">(May 08 2018 at 20:07)</a>:</h4>
<p>(i.e. it seems like it is implicitly asking for something like <code>DerefPure</code> , and for that to work in tandem with NLL...)</p>



<a name="126281183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%208/near/126281183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.208.html#126281183">(May 08 2018 at 20:10)</a>:</h4>
<p>Okay well I'm going to call it quits for this meeting, we're 10 minutes over (depending on whether you subscribe to this being a 30min mtg)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>